Automated theorem proving

Статья "Automated theorem proving" в Английской Википедии имеет 33.7 баллов за качество (по состоянию на 1 ноября 2023 года). Статья содержит, среди прочих показателей, 24 примечаний и 15 разделов. В статье также содержится шаблон указывающий на недостатки в тексте, который понижает оценку качества. Эта статья имеет наилучшее качество в Португальской Википедии. Однако, эта статья наиболее популярна в текущей языковой версии.

В октябре 2023 статья "Automated theorem proving" была редактирована 1 авторами в английской Википедии и исправлялась 4 авторами во всех языковых версиях.

С момента создания статьи "Automated theorem proving" ее содержимое было создано 209 зарегистрированными пользователями английской Википедии и редактировано 421 зарегистрированными пользователями Википедии во всех языковых версиях.

Эта статья цитируется 375 раз в английской Википедии и цитируется 786 раз во всех языках.

Наивысший рейтинг по интересам авторов с 2001 года:

• Локальный (Английский): №127 в ноябре 2001 года
• Глобальный: №159 в ноябре 2001 года

Самый высокий рейтинг популярности с 2008 года:

• Локальный (Английский): №54842 в августе 2008 года
• Глобальный: №76451 в августе 2008 года

Для данной статьи найдено 17 языковых версий в базе ВикиРанк (из рассматриваемых 55 языковых версий Википедии).

Данные по состоянию на 1 ноября 2023 года.

В таблице ниже показаны языковые версии статьи с наилучшим качеством.

#	Язык	Знак качества	Оценка качества
1	Португальский (pt) Prova automática de teoremas		34.3697
2	Английский (en) Automated theorem proving		33.711
3	Японский (ja) 自動定理証明		22.9089
4	Итальянский (it) Dimostrazione automatica di teoremi		20.6412
5	Испанский (es) Demostración automática de teoremas		14.5303
6	Баскский (eu) Teoremen frogapen automatiko		11.4951
7	Польский (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	Русский (ru) Автоматическое доказательство		8.8301
9	Азербайджанский (az) Teoremlərin avtomatik sübutu		8.1057
10	Китайский (zh) 自動化定理證明		5.263

Больше...

В следующей таблице показаны наиболее популярные языковые версии статьи.

Самые популярные языковые версии статьи "Automated theorem proving" за всё время

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Automated theorem proving		969 656
2	Испанский (es) Demostración automática de teoremas		160 435
3	Японский (ja) 自動定理証明		94 253
4	Русский (ru) Автоматическое доказательство		81 984
5	Польский (pl) Automatyczne dowodzenie twierdzeń		63 187
6	Китайский (zh) 自動化定理證明		32 009
7	Французский (fr) Démonstration automatique de théorèmes		28 548
8	Португальский (pt) Prova automática de teoremas		18 872
9	Итальянский (it) Dimostrazione automatica di teoremi		11 350
10	Персидский (fa) اثبات قضیه خودکار		10 935

Больше...

В следующей таблице показаны статьи с наибольшей популярностью в последний месяц.

Самые популярные языковые версии статьи "Automated theorem proving" в октябре 2023

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Automated theorem proving		5 345
2	Японский (ja) 自動定理証明		421
3	Русский (ru) Автоматическое доказательство		360
4	Испанский (es) Demostración automática de teoremas		321
5	Китайский (zh) 自動化定理證明		178
6	Французский (fr) Démonstration automatique de théorèmes		107
7	Польский (pl) Automatyczne dowodzenie twierdzeń		102
8	Итальянский (it) Dimostrazione automatica di teoremi		100
9	Персидский (fa) اثبات قضیه خودکار		54
10	Португальский (pt) Prova automática de teoremas		51

Больше...

В следующей таблице показаны статьи с наивысшим интересом авторов.

Языковые версии статьи "Automated theorem proving" с наибольшим интересом авторов (количество авторов). Учитывались только зарегистрированные пользователи Википедии.

#	Язык	Знак	Относительный ИА
1	Английский (en) Automated theorem proving		209
2	Испанский (es) Demostración automática de teoremas		35
3	Французский (fr) Démonstration automatique de théorèmes		26
4	Японский (ja) 自動定理証明		26
5	Польский (pl) Automatyczne dowodzenie twierdzeń		25
6	Русский (ru) Автоматическое доказательство		22
7	Итальянский (it) Dimostrazione automatica di teoremi		18
8	Португальский (pt) Prova automática de teoremas		16
9	Китайский (zh) 自動化定理證明		11
10	Украинский (uk) Автоматизоване доведення теорем		9

Больше...

В следующей таблице показаны статьи с наивысшим интересом авторов за последний месяц.

Языковые версии статьи "Automated theorem proving" с наибольшим интересом авторов (количество авторов)

#	Язык	Знак	Относительный ИА
1	Корейский (ko) 자동 정리 증명		2
2	Английский (en) Automated theorem proving		1
3	Итальянский (it) Dimostrazione automatica di teoremi		1
4	Азербайджанский (az) Teoremlərin avtomatik sübutu		0
5	Испанский (es) Demostración automática de teoremas		0
6	Баскский (eu) Teoremen frogapen automatiko		0
7	Персидский (fa) اثبات قضیه خودکار		0
8	Французский (fr) Démonstration automatique de théorèmes		0
9	Армянский (hy) Թեորեմների ավտոմատացված ապացուցում		0
10	Японский (ja) 自動定理証明		0

Больше...

В следующей таблице показаны языовые версии статьи с наибольшим количеством цитирования.

Языковые версии статьи "Automated theorem proving" с наибольшим индексом цитирования

#	Язык	Награда за ИЦ	Относительный ИЦ
1	Английский (en) Automated theorem proving		375
2	Русский (ru) Автоматическое доказательство		68
3	Японский (ja) 自動定理証明		53
4	Испанский (es) Demostración automática de teoremas		50
5	Французский (fr) Démonstration automatique de théorèmes		47
6	Китайский (zh) 自動化定理證明		40
7	Украинский (uk) Автоматизоване доведення теорем		37
8	Польский (pl) Automatyczne dowodzenie twierdzeń		32
9	Португальский (pt) Prova automática de teoremas		26
10	Персидский (fa) اثبات قضیه خودکار		21

Больше...

#	Язык	Ценность
az	Азербайджанский Teoremlərin avtomatik sübutu
en	Английский Automated theorem proving
es	Испанский Demostración automática de teoremas
eu	Баскский Teoremen frogapen automatiko
fa	Персидский اثبات قضیه خودکار
fr	Французский Démonstration automatique de théorèmes
hy	Армянский Թեորեմների ավտոմատացված ապացուցում
it	Итальянский Dimostrazione automatica di teoremi
ja	Японский 自動定理証明
ko	Корейский 자동 정리 증명
pl	Польский Automatyczne dowodzenie twierdzeń
pt	Португальский Prova automática de teoremas
ru	Русский Автоматическое доказательство
th	Тайский การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	Турецкий Otomatik teorem kanıtlama
uk	Украинский Автоматизоване доведення теорем
zh	Китайский 自動化定理證明

Лучшая позиция

Английский: №54842 08.2008

Глобальный: №76451 08.2008

Лучшая позиция

Английский: №127 11.2001

Глобальный: №159 11.2001

16 мая 2024 года В многоязычной Википедии пользователи Интернета чаще всего читали статьи на следующие темы: Ясукэ, Новая Каледония, Словакия, Роберт Фицо, Бриджертоны, YouTube, ChatGPT, Список умерших в 2024 году, Планета обезьян, 16 мая.

В английской Википедии в этот день самыми популярными были статьи: Yasuke, Harrison Butker, Robert Fico, Bridgerton, Deaths in 2024, Joyce Vincent, Hank Adams, It Ends with Us, YouTube, New Caledonia.

Проект ВикиРанк предназначен для автоматической относительной оценки статей в разных языковых версиях Википедии. В настоящий момент ВикиРанк позволяет сравнивать более 44 миллионов статей Википедии на 55 языках. Показатели качества статей основаны на резервных копиях Википедии по состоянию на ноябрь 2023. При расчёте популярности учитывались статистические данные статей за последний месяц (октябре 2023 года). При расчете текущей популярности и Интереса Авторов (ИА) статей учитывались данные за октябре 2023 года. Для подсчёта исторических значений популярности и ИА использовались данные с 2001 по 2023 гг... Подробнее